Nonstandard hulls of locally uniform groups
نویسنده
چکیده
We present a nonstandard hull construction for locally uniform groups in a spirit similar to Luxembourg’s construction of the nonstandard hull of a uniform space. Our nonstandard hull is a local group rather than a global group. We investigate how this construction varies as one changes the family of pseudometrics used to construct the hull. We use the nonstandard hull construction to give a nonstandard characterization of Enflo’s notion of groups that are uniformly free from small subgroups. We prove that our nonstandard hull is locally isomorphic to Pestov’s nonstandard hull for Banach-Lie groups. We also give some examples of infinite-dimensional Lie groups that are locally uniform.
منابع مشابه
Nonstandard hulls of locally exponential Lie algebras
We show how to construct the nonstandard hull of certain infinite-dimensional Lie algebras in order to generalize a theorem of Pestov on the enlargeability of Banach-Lie algebras. In the process, we consider a nonstandard smoothness condition on functions between locally convex spaces to ensure that the induced function between the nonstandard hulls is smooth. We also discuss some conditions on...
متن کاملOn uniform spaces with invariant nonstandard hulls
Let 〈X,Γ〉 be a uniform space with its uniformity generated by a set of pseudo-metrics Γ . Let the symbol “ ' " denote the usual infinitesimal relation on ∗X , and define a new infinitesimal relation “ ≈ " by writing x ≈ y whenever ∗ρ(x, p) ' ∗ρ(y, p) for each ρ ∈ Γ and each p ∈ X . Let us call a uniform space 〈X,Γ〉 an S-space if the relations ' and ≈ coincide on fin(∗X). In [14], we showed that...
متن کاملA remark on uniform spaces with invariant nonstandard hulls
Let (X,Γ) be a uniform space with its uniformity generated by a set of pseudo-metrics Γ. Let the symbol “ ' ” denote the usual infinitesimal relation on ∗X, and define a new infinitesimal relation “ ≈ ” on ∗X by writing x ≈ y whenever ∗ρ(x, p) ' ∗ρ(y, p) for each ρ ∈ Γ and each p ∈ X. We call (X,Γ) an S-space if the relations ' and ≈ coincide on fin(∗X). S-spaces are interesting because their n...
متن کاملUniform liftings of continuous mappings
We investigate the question of when a continuous mapping between subspaces of nonstandard hulls has a uniform lifting. 2000 Mathematics Subject Classification 03H05, 54J05 (primary); 54C20, 54D20, 54D65 (secondary)
متن کاملF–Products and Nonstandard Hulls for Strongly Continuous One–parameter Semigroups of Linear Operators
We give an overview of the F–product construction and the corresponding nonstandard constructions and show that (in the case of bounded ultrapowers) both constructs are isomorphic (theorem 3.15). From this we also follow a little “classical” corollary (3.14). The nonstandard construction has been investigated in [Wol84] and [Wol], the corresponding classical constructions first appeared in [Der...
متن کامل